Vojtěch Forejt: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2013 Twenty-Eighth Annual IEEE/ACM Symposium on Logic in Computer Science (LICS 2013) - New Orleans, LA, USA (2013.06.25-2013.06.28)] 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science - Trading Performance for Stability in Markov Decision Processes

Brazdil, Toma, Chatterjee, Krishnendu, Forejt, Vojtech, Kucera, Antonin

Year:

2013

Language:

english

File:

PDF, 255 KB

english, 2013

2

Branching-Time Model-Checking of Probabilistic Pushdown Automata

Tomáš Brázdil, Václav Brožek, Vojtěch Forejt

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 316 KB

english, 2009

3

Reachability in recursive Markov decision processes

Tomáš Brázdil, Václav Brožek, Vojtěch Forejt, Antonín Kučera

Journal:

Information and Computation

Year:

2008

Language:

english

File:

PDF, 274 KB

english, 2008

4

Automatic verification of competitive stochastic systems

Chen, Taolue, Forejt, Vojtěch, Kwiatkowska, Marta, Parker, David, Simaitis, Aistis

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 1.16 MB

english, 2013

5

Language equivalence of probabilistic pushdown automata

Forejt, Vojtěch, Jančar, Petr, Kiefer, Stefan, Worrell, James

Journal:

Information and Computation

Year:

2014

Language:

english

File:

PDF, 317 KB

english, 2014

6

Branching-time model-checking of probabilistic pushdown automata

Brázdil, Tomáš, Brožek, Václav, Forejt, Vojtěch, Kučera, Antonín

Journal:

Journal of Computer and System Sciences

Year:

2014

Language:

english

File:

PDF, 388 KB

english, 2014

7

Continuous-time stochastic games with time-bounded reachability

Brázdil, Tomáš, Forejt, Vojtěch, Krčál, Jan, Křetínský, Jan, Kučera, Antonín

Journal:

Information and Computation

Year:

2013

Language:

english

File:

PDF, 513 KB

english, 2013

8

[IEEE 2008 23rd Annual IEEE Symposium on Logic in Computer Science (LICS 2008) - Pittsburgh, PA, USA (2008.06.24-2008.06.27)] 2008 23rd Annual IEEE Symposium on Logic in Computer Science - The Satisfiability Problem for Probabilistic CTL

Brázdil, Tomá, Forejt, Vojtech, Kretínský, Jan, Kucera, Antonín

Year:

2008

Language:

english

File:

PDF, 297 KB

english, 2008

9

[IEEE 2011 26th Annual IEEE Symposium on Logic in Computer Science (LICS 2011) - Toronto, ON, Canada (2011.06.21-2011.06.24)] 2011 IEEE 26th Annual Symposium on Logic in Computer Science - Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes

Br´zdil, Tomas, Brozek, V´clav, Chatterjee, Krishnendu, Forejt, Vojtech, Kucera, Antonin

Year:

2011

Language:

english

File:

PDF, 494 KB

english, 2011

10

[ACM Press the 16th international conference - Philadelphia, Pennsylvania, USA (2013.04.08-2013.04.11)] Proceedings of the 16th international conference on Hybrid systems: computation and control - HSCC '13 - Safe schedulability of bounded-rate multi-mode systems

Alur, Rajeev, Forejt, Vojtěch, Moarref, Salar, Trivedi, Ashutosh

Year:

2013

Language:

english

File:

PDF, 511 KB

english, 2013

11

Expected reachability-time games

Forejt, Vojtěch, Kwiatkowska, Marta, Norman, Gethin, Trivedi, Ashutosh

Journal:

Theoretical Computer Science

Year:

2016

Language:

english

File:

PDF, 710 KB

english, 2016

12

Trading performance for stability in Markov decision processes

Brázdil, Tomáš, Chatterjee, Krishnendu, Forejt, Vojtěch, Kučera, Antonín

Journal:

Journal of Computer and System Sciences

Year:

2017

Language:

english

File:

PDF, 692 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски